Uses of Class
abstraction.Action

Packages that use Action

abstraction
control

Uses of Action in abstraction

Fields in abstraction declared as Action

private Action	TransitionFunction.action
private Action	StateAction.action

Fields in abstraction with type parameters of type Action

private java.util.HashMap<State,java.util.HashSet<Action>>

Service.listAction

Methods in abstraction that return Action

Action	TransitionFunction.getAction() get action of a transition function
Action	StateAction.getAction()

Methods in abstraction that return types with arguments of type Action

java.util.Iterator<Action>

Service.getActions(State state) get all possible action from a present state

Methods in abstraction with parameters of type Action

boolean	Service.containsPresentAction(State presentState, Action action) say if exist a pair of state-action
java.util.Iterator<State>	Service.getNextStates(State presentState, Action action) get the next states from a state-action

Constructors in abstraction with parameters of type Action

StateAction(State presentState, Action action)
Constructor

TransitionFunction(State presentState, Action action, State nextState)
Constructor

Uses of Action in control

Fields in control declared as Action

private Action

OrchestratorKey.action

Methods in control that return Action

Action

OrchestratorKey.getAction() gets the action which is part of this orchestrator key

Methods in control with parameters of type Action

private boolean

Simulation.checkSimulationOfNextState(CState cs, Action as, State nextTState) checks if there is a state of the community going with the selected action to another state that is in simulation with the next state of the target

Constructors in control with parameters of type Action

OrchestratorKey(SimulatedBy s, Action action)